首页> 外文OA文献 >Verified lightweight bytecode verification

【2h】

Verified lightweight bytecode verification

机译：经过验证的轻量级字节码验证

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Gerwin Klein; Tobias Nipkow;
展开▼
作者单位

展开▼
年度 2010
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Verified lightweight bytecode verification [J] . Gerwin Klein, Tobias Nipkow Concurrency and Computation . 2001,第13期

机译：经过验证的轻量级字节码验证
2. A certified lightweight non-interference Java bytecode verifier [J] . GILLES BARTHE, DAVID PICHARDIE, TAMARA REZK Mathematical structures in computer science . 2013,第5期

机译：经过认证的轻量级无干扰Java字节码验证程序
3. Lightweight Bytecode Verification [J] . EVA ROSE Journal of Automated Reasoning . 2003,第3a4期

机译：轻量级字节码验证
4. A Certified Lightweight Non-interference Java Bytecode Verifier [C] . Gilles Barthe, David Pichardie, Tamara Rezk European Symposium on Programming . 2007

机译：经过认证的轻量级无干扰Java Bytecode验证者
5. Formal specification and verification of a JVM and its bytecode verifier. [D] . Liu, Hanbing. 2006

机译：JVM及其字节码验证程序的正式规范和验证。
6. Research and Verification of Convolutional Neural Network Lightweight in BCI [O] . Shipu Xu, Runlong Li, Yunsheng Wang, 2020

机译：BCI卷积神经网络轻量级的研究与验证
7. A certified lightweight non-interference Java bytecode verifier [O] . Barthe, Gilles, Pichardie, David, Rezk, Tamara 2013

机译：经过认证的轻量级无干扰Java字节码验证程序

代理获取

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号